finitely representable

有限可表示的